<html><head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">


<title>TPPT</title>
<link rel="stylesheet" type="text/css" href="/static/style.css">
</head><body>
<table>
<tbody><tr><td colspan="2"><h1>Theory Prover Performance Tool</h1></td></tr>
<tr>
<td class="navigator">
<ul class="menu">

	
	<li>Highlights
	<ul>
		
		<li><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjDBAw/?">SInE</a>
		
		</li><li><a href="http://tppt.appspot.com/static/files/results_E_S_V.html">SUMO Results</a>
		
	</li></ul>
	
	</li><li>Data
	<ul>
		
		<li><a href="http://tppt.appspot.com/index/Division/?">Divisions</a>
		
		</li><li><a href="http://tppt.appspot.com/index/AxiomFamily/?">Axiom families</a>
		
		</li><li><a href="http://tppt.appspot.com/index/AxiomSet/?">Axiom sets</a>
		
		</li><li><a href="http://tppt.appspot.com/index/Problem/?">Problems</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ProblemGroup/?">Problem groups</a>
		
		</li><li><a href="http://tppt.appspot.com/index/Result/?">Results</a>
		
		</li><li><a href="http://tppt.appspot.com/index/Proof/?">Proofs</a>
		
	</li></ul>
	
	</li><li>Tools
	<ul>
		
		<li><a href="http://tppt.appspot.com/import">Upload data</a>
		
		</li><li><a href="http://tppt.appspot.com/static/files/submitter.txt">Sample submitter</a>
		
		</li><li><a href="http://tppt.appspot.com/cart_analyzer/?">Cart analyzer</a>
		
	</li></ul>
	
	</li><li>Enumerations
	<ul>
		
		<li><a href="http://tppt.appspot.com/index/Prover/?">Provers</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ProverVersion/?">Prover versions</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ProverInstance/?">Prover instances</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ProblemStatus/?">Problem statuses</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ResultType/?">Result types</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ResultEvaluation/?">Result evaluations</a>
		
		</li><li><a href="http://tppt.appspot.com/index/OutputFormat/?">Output formats</a>
		
		</li><li><a href="http://tppt.appspot.com/index/CPUFamily/?">CPU families</a>
		
		</li><li><a href="http://tppt.appspot.com/index/OS/?">Operating systems</a>
		
		</li><li><a href="http://tppt.appspot.com/index/Computer/?">Computers</a>
		
	</li></ul>
	

</li></ul>

<table class="cart">
	<tbody><tr><th colspan="2">Cart content</th></tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRiVDww/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRiVDww/?">e09t300</a></td>
	</tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjdDgw/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjdDgw/?">sine0et250</a></td>
	</tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjiBww/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjiBww/?">sine0v9</a></td>
	</tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProblemGroup/agR0cHB0chMLEgxQcm9ibGVtR3JvdXAY_QgM/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProblemGroup/agR0cHB0chMLEgxQcm9ibGVtR3JvdXAY_QgM/?">SUMO</a></td>
	</tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjNEAw/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjNEAw/?">sine0v9t250</a></td>
	</tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjfEAw/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjfEAw/?">v9t300</a></td>
	</tr>
	
	<tr><th colspan="2"><a href="http://tppt.appspot.com/empty_cart/?">(remove all)</a></th></tr>
</tbody></table>


<div>Based on <br><a href="http://www.tptp.org/">The TPTP Problem Library</a></div>
</td>
<td>


<div>Results of selected provers on selected problems:</div>

<table>
<tbody><tr>
<th>Problem</th>
<th>Status</th>

	<th>
	<a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRiVDww/?">e09t300</a>
	</th>

	<th>
	<a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjdDgw/?">sine0et250</a>
	</th>

	<th>
	<a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjiBww/?">sine0v9</a>
	</th>

	<th>
	<a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjNEAw/?">sine0v9t250</a>
	</th>

	<th>
	<a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjfEAw/?">v9t300</a>
	</th>

</tr>


<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGIsFDA/?">CSR075+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmw8M/?" title="fail">299.74</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjw8M/?" title="ok">35.76</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9wcM/?" title="ok">35.58</a>
			</span>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4wcM/?" title="ok">37.51</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuRAM/?" title="ok">38.53</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8w8M/?" title="ok">36.94</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOEEDA/?">CSR076+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-g4M/?" title="fail">299.87</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYwg8M/?" title="fail">282.98</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYgAkM/?" title="fail">46.08</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmhEM/?" title="fail">131.94</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5A4M/?" title="ok">163.72</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGIwFDA/?">CSR077+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-w4M/?" title="none">299.85</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYkA8M/?" title="none">285.26</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5QcM/?" title="none">45.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-RAM/?" title="none">297.29</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4BAM/?" title="none">310.62</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGJYEDA/?">CSR078+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsQ8M/?" title="none">299.87</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-A4M/?" title="none">34.71</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYgQkM/?" title="none">46.04</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY1RAM/?" title="none">296.56</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8hAM/?" title="none">0.34</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGL4EDA/?">CSR079+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYkQ8M/?" title="fail">299.88</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY7Q8M/?" title="ok">35.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYwQgM/?" title="ok">38.15</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY6w4M/?" title="ok">40.38</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYzhAM/?" title="ok">63.79</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGPkEDA/?">CSR080+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYng8M/?" title="fail">299.88</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-Q4M/?" title="fail">240.48</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYzwcM/?" title="ok">39.13</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYhxEM/?" title="ok">42.33</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5Q4M/?" title="fail">310.51</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGIQEDA/?">CSR081+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY_A4M/?" title="none">299.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsA8M/?" title="none">283.94</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8AgM/?" title="none">47.12</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYqBAM/?" title="none">296.87</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4Q8M/?" title="none">310.61</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGI8FDA/?">CSR082+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY2w8M/?" title="fail">299.87</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY_w8M/?" title="ok">188.47</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYggkM/?" title="ok">35.15</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmxAM/?" title="ok">39.27</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9A8M/?" title="ok">46.62</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGJkEDA/?">CSR083+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3w4M/?" title="ok">4.61</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY2g8M/?" title="ok">36.19</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnwgM/?" title="ok">35.75</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuQ8M/?" title="ok">38.48</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8xAM/?" title="ok">3.82</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOIEDA/?">CSR084+1</a></th>
	<td>Unk</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY_Q4M/?" title="none">299.85</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYlRAM/?" title="none">284.06</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY0AcM/?" title="none">45.65</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuhAM/?" title="none">130.86</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYzxAM/?" title="none">310.61</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGM0EDA/?">CSR085+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYlhAM/?" title="fail">299.89</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnA8M/?" title="ok">34.83</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY2wgM/?" title="ok">35.66</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4RAM/?" title="ok">38.43</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5g4M/?" title="ok">3.93</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGJ0FDA/?">CSR086+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYoRAM/?" title="fail">299.88</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3g4M/?" title="fail">283.65</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjQgM/?" title="ok">35.53</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYug8M/?" title="ok">38.42</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4g8M/?" title="ok">39.53</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKYEDA/?">CSR087+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYlxAM/?" title="none">299.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnQ8M/?" title="none">284.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY0QcM/?" title="none">46.02</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuxAM/?" title="none">297.23</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9Q8M/?" title="none">310.51</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGLMFDA/?">CSR088+1</a></th>
	<td>Unk</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4A4M/?" title="none">299.91</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYkg8M/?" title="none">284.79</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5gcM/?" title="none">45.34</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4hAM/?" title="none">297.94</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9BAM/?" title="none">310.62</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOUEDA/?">CSR089+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY_w4M/?" title="fail">299.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY7g8M/?" title="fail">283.97</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3AgM/?" title="fail">46.77</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY7A4M/?" title="fail">296.88</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY0BAM/?" title="ok">24.76</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGNAEDA/?">CSR090+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYthAM/?" title="fail">299.91</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYkw8M/?" title="fail">284.73</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjggM/?" title="ok">44.77</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnBAM/?" title="ok">48.83</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5w4M/?" title="fail">310.61</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKAFDA/?">CSR091+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4g4M/?" title="fail">299.85</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3A8M/?" title="fail">284.77</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY0gcM/?" title="fail">45.13</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiBEM/?" title="fail">128.85</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4w8M/?" title="ok">46.45</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKkEDA/?">CSR092+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3Q8M/?" title="fail">299.65</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYww8M/?" title="ok">36.28</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8ggM/?" title="ok">34.91</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-hAM/?" title="ok">38.78</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9g8M/?" title="ok">4.06</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGLYFDA/?">CSR093+1</a></th>
	<td>Unk</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYohAM/?" title="none">299.64</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY_g4M/?" title="none">285.01</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-QcM/?" title="none">45.18</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="discovery">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY1hAM/?" title="new">59.51</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9RAM/?" title="none">310.62</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOgEDA/?">CSR094+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3g8M/?" title="fail">299.91</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtRAM/?" title="fail">283.67</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYgwkM/?" title="fail">46.08</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYrREM/?" title="fail">132.89</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY0RAM/?" title="ok">158.87</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGNMEDA/?">CSR095+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtQ8M/?" title="none">299.92</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY7w8M/?" title="none">284.38</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY0wcM/?" title="none">46.17</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4xAM/?" title="none">296.36</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY6A4M/?" title="none">310.51</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKMFDA/?">CSR096+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8Q8M/?" title="fail">299.68</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsg8M/?" title="fail">283.39</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjQkM/?" title="fail">46.09</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYvBAM/?" title="fail">201.76</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5A8M/?" title="fail">310.41</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKwEDA/?">CSR097+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyhAM/?" title="none">299.86</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmBAM/?" title="none">284.98</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3QgM/?" title="none">48.79</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuw8M/?" title="none">297.49</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9w8M/?" title="none">310.61</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGLkFDA/?">CSR098+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtg8M/?" title="ok">4.03</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYlA8M/?" title="ok">34.77</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjwgM/?" title="ok">36.59</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnRAM/?" title="ok">39.75</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9hAM/?" title="ok">1.2</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOsEDA/?">CSR099+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYpBAM/?" title="fail">299.72</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmRAM/?" title="ok">35.07</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY1AcM/?" title="ok">36.0</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5BAM/?" title="ok">38.54</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY0hAM/?" title="ok">60.47</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGNYEDA/?">CSR100+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtw8M/?" title="fail">299.91</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsw8M/?" title="ok">34.96</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3wgM/?" title="ok">35.05</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYqRAM/?" title="ok">39.13</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY6Q4M/?" title="ok">159.55</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKYFDA/?">CSR101+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYpRAM/?" title="fail">299.88</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4Q4M/?" title="ok">35.62</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnQkM/?" title="ok">35.48</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnhAM/?" title="ok">38.67</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYhREM/?" title="ok">48.2</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGK8EDA/?">CSR102+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuA8M/?" title="none">299.79</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyRAM/?" title="none">284.21</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8wgM/?" title="none">46.91</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYqhAM/?" title="none">296.39</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-A8M/?" title="none">310.51</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGLwFDA/?">CSR103+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3hAM/?" title="ok">1.53</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtA8M/?" title="ok">35.69</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYkAgM/?" title="ok">35.75</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiREM/?" title="ok">38.43</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9xAM/?" title="ok">0.6</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGL4FDA/?">CSR104+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmhAM/?" title="fail">299.54</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYgA8M/?" title="fail">284.28</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjgkM/?" title="fail">45.64</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYvRAM/?" title="ok">59.12</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY0xAM/?" title="fail">310.61</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOUFDA/?">CSR105+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYphAM/?" title="none">298.96</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8A8M/?" title="none">284.51</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9AgM/?" title="none">46.24</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYqxAM/?" title="none">297.6</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY6g4M/?" title="none">310.62</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGI0GDA/?">CSR106+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyxAM/?" title="none">299.91</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtxAM/?" title="none">285.0</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsQkM/?" title="none">47.13</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYvA8M/?" title="none">297.93</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYhhEM/?" title="none">310.61</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGPoFDA/?">CSR107+1</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8RAM/?" title="none">299.8</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3RAM/?" title="none">283.51</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYwwgM/?" title="none">45.28</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-xAM/?" title="none">297.59</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmREM/?" title="none">310.61</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGNMFDA/?">CSR108+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3w8M/?" title="fail">299.63</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYoxAM/?" title="fail">35.36</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjwkM/?" title="fail">35.01</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmxEM/?" title="fail">38.6</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-BAM/?" title="ok">303.82</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGMEFDA/?">CSR109+1</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4w4M/?" title="fail">299.92</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuBAM/?" title="ok">35.52</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5wcM/?" title="ok">35.07</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5RAM/?" title="ok">38.09</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY1BAM/?" title="ok">158.9</a>
			</span>
		
		</td>
	

</tr>

</tbody></table>


</td>
</tr>
</tbody></table>

<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script><script src="results_E_S_V_files/ga.js" type="text/javascript"></script>
<script type="text/javascript">
var pageTracker = _gat._getTracker("UA-3758565-3");
pageTracker._initData();
pageTracker._trackPageview();
</script>
</body></html>